Android系统是目前最受欢迎的开放手机操作系统，然而高度的开放性也引来了许多问题，资源泄漏就是其中普遍存在的一个。对于Android系统出现的资源泄漏以及没有基于该漏洞的基准测试集被提出的问题，构造出了一套针对Android资源泄漏的基准测试集ResLeakBench。首先，参考Android官方文档以及观察大量的真实Android应用，整理出了Android程序中使用的资源操作以及它们常用的使用场景。然后，根据整理的信息自主构造了35个基准测试程序；另外，收集了35个资源使用相关的真实开源程序作为基准测试程序来保证测试集的实用性。最后，利用ResLeakBench对资源泄漏检测工具Relda2以及资源泄漏修复工具RelFix进行了有效性评测，发现了Relda2以及RelFix工具存在的问题。实验结果表明ResLeakBench针对资源泄漏问题是一套实用的基准测试集。

从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。